HOLDERMANS, STEFAN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Making “stricterness” more relevant

Stefan Holdermans, Jurriaan Hage

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 683 KB

english, 2010

2

Security type error diagnosis for higher-order, polymorphic languages

Weijers, Jeroen, Hage, Jurriaan, Holdermans, Stefan

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 869 KB

english, 2014

3

A lightweight approach to datatype-generic rewriting

VAN NOORT, THOMAS, RODRIGUEZ YAKUSHEV, ALEXEY, HOLDERMANS, STEFAN, JEURING, JOHAN, HEEREN, BASTIAAN, MAGALHÃES, JOSÉ PEDRO

Journal:

Journal of Functional Programming

Year:

2010

Language:

english

File:

PDF, 585 KB

english, 2010

4

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Heap recycling for lazy languages

Hage, Jurriaan, Holdermans, Stefan

Year:

2008

Language:

english

File:

PDF, 196 KB

english, 2008

5

A generic usage analysis with subeffect qualifiers

Hage, Jurriaan, Holdermans, Stefan, Middelkoop, Arie

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 252 KB

english, 2007

6

Generic programming with fixed points for mutually recursive datatypes

Yakushev, Alexey Rodriguez, Holdermans, Stefan, Löh, Andres, Jeuring, Johan

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 427 KB

english, 2009

7

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Report on the tenth ICFP programming contest

Dolstra, Eelco, van Schie, John, Hage, Jurriaan, Heeren, Bastiaan, Holdermans, Stefan, Jeuring, Johan, Löh, Andres, Löh, Clara, Middelkoop, Arie, Rodriguez, Alexey

Year:

2008

Language:

english

File:

PDF, 1.76 MB

english, 2008

8

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Generic programming with fixed points for mutually recursive datatypes

Yakushev, Alexey Rodriguez, Holdermans, Stefan, Löh, Andres, Jeuring, Johan

Year:

2009

Language:

english

File:

PDF, 427 KB

english, 2009

9

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

Holdermans, Stefan, Hage, Jurriaan

Year:

2010

Language:

english

File:

PDF, 550 KB

english, 2010

10

[ACM Press the Tenth Workshop - Paphos, Cyprus (2010.03.28-2010.03.29)] Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA '10 - On the rôle of minimal typing derivations in type-driven program transformation

Holdermans, Stefan, Hage, Jurriaan

Year:

2010

Language:

english

File:

PDF, 272 KB

english, 2010

11

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - A generic usage analysis with subeffect qualifiers

Hage, Jurriaan, Holdermans, Stefan, Middelkoop, Arie

Year:

2007

Language:

english

File:

PDF, 252 KB

english, 2007

12

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Random testing of purely functional abstract datatypes

Holdermans, Stefan

Year:

2013

Language:

english

File:

PDF, 850 KB

english, 2013

13

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Security type error diagnosis for higher-order, polymorphic languages

Weijers, Jeroen, Hage, Jurriaan, Holdermans, Stefan

Year:

2013

Language:

english

File:

PDF, 587 KB

english, 2013

14

Report on the tenth ICFP programming contest

Dolstra, Eelco, van Schie, John, Hage, Jurriaan, Heeren, Bastiaan, Holdermans, Stefan, Jeuring, Johan, Löh, Andres, Löh, Clara, Middelkoop, Arie, Rodriguez, Alexey

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 1.76 MB

english, 2008

15

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

Holdermans, Stefan, Hage, Jurriaan

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 550 KB

english, 2010

16

[ACM Press the ACM SIGPLAN 2010 workshop - Madrid, Spain (2010.01.18-2010.01.19)] Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10 - Optimizing generics is easy!

Magalhães, José Pedro, Holdermans, Stefan, Jeuring, Johan, Löh, Andres

Year:

2010

Language:

english

File:

PDF, 787 KB

english, 2010